jade.content.abs
Class AbsAID

java.lang.Object
  |
  +--jade.content.abs.AbsObject
        |
        +--jade.content.abs.AbsTerm
              |
              +--jade.content.abs.AbsAID

public class AbsAID
extends AbsTerm

Author:
Federico Bergenti - Universita` di Parma
See Also:
Serialized Form

Constructor Summary
AbsAID(java.lang.String name, AbsAggregate addresses, AbsAggregate resolvers)
          Constructor
 
Method Summary
protected  void dump(int indent)
           
 
Methods inherited from class jade.content.abs.AbsObject
dump, getAbsObject, getCount, getNames, getTypeName, isGrounded, set
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AbsAID

public AbsAID(java.lang.String name,
              AbsAggregate addresses,
              AbsAggregate resolvers)
Constructor
Parameters:
name - the name
addresses - the list of addresses
resolvers - the list of resolvers
Method Detail

dump

protected void dump(int indent)
Overrides:
dump in class AbsObject